Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
61	A necessity priority modal and its interaction with tense in Korean Bokyung Mun (Georgetown University) Previous literature has revealed that the interaction of a modal with tense or aspect forms often gives rise to some Add to Reading List Source URL: www.macsim.us Language: English - Date: 2013-04-02 10:13:09 Modality Philosophy Grammar Linguistics Grammatical moods Non-classical logic Philosophical logic Linguistic modality Semantics Modal logic Grammatical aspect Shall and will
62	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming
63	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
64	Lexical typology through similarity semantics: Toward a semantic map of motion verbs* 1 2 3 Add to Reading List Source URL: cysouw.de Language: English - Date: 2014-01-15 15:16:28 Semantics Linguistics Philosophy of language Logic Lexical semantics Semantic primes Semantic feature Semantic analysis Syntax Semantic memory Natural semantic metalanguage
65	Chapter 3 Denotation and Context 3.1. Introduction Since their discovery by Berry, Richard and König, paradoxes of denotation1 have played an important role in the development of modern set theory. They show that the mo Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-13 12:44:06 Philosophy Linguistics Logic Pragmatics Semantics Meaning Grammar Semiotics Presupposition Context Sign Truth
66	Contextual theories of truth and paradox Keith Simmons UNC Chapel Hill 1. The Revenge Liar Contextual theories of truth are motivated by a powerful version of the liar paradox, sometimes called the revenge liar. We start Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-13 13:36:52 Philosophy Logic Philosophical logic Semantics Theories of truth Meaning Philosophy of language Liar paradox Revision theory Presupposition Interpretation Truth
67	(How) Is Ethical Neo-Expressivism a Hybrid View? Dorit Bar-On, Matthew Chrisman, James Sias 1. Introduction Mainline metaethical expressivists of the 1960s-1990s generally conceived of expressivism as a view in philosoph Add to Reading List Source URL: www.doritbar-on.com Language: English - Date: 2015-05-31 01:51:42 Philosophy Meta-ethics Philosophy of language Philosophical logic Meaning Statements Expressivism Proposition Norm Semantics Truth Sentence
68	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:11 Mathematics Logic Mathematical logic Logic programming Model theory Stable model semantics Modal logic FO Binomial coefficient
69	Introducing as Semantics Syntax Add to Reading List Source URL: www1.icsi.berkeley.edu Language: English - Date: 2007-04-25 02:43:04 Linguistics Logic Grammar Cognitive science Syntax Philosophy of language Semantics Logic in computer science Relativizer Predicate Relative clause Clause
70	2003 ALFRED KORZYBSKI MEMORIAL LECTURE ON THE TEACHING OF GENERAL SEMANTICS BY SANFORD I. BERMAN (Delivered at the Twelfth International Conference on General Semantics, Las Vegas, Nevada, November 1, 2003) INTRODUCTION Add to Reading List Source URL: www.generalsemantics.org Language: English - Date: 2011-04-30 13:40:38 General semantics Human communication Interpersonal communication Semantics Logic in computer science Sanford I. Berman Alfred Korzybski Structural differential 11:59 Institute of General Semantics Wendell Johnson Today